Flagged Higher Categories
نویسنده
چکیده
We introduce flagged (∞, n)-categories and prove that they are equivalent to Segal sheaves on Joyal’s category Θn. As such, flagged (∞, n)-categories provide a model-independent formulation of Segal sheaves. This result generalizes the statement that n-groupoid objects in spaces are effective, as we explain and contextualize. Along the way, we establish a useful expression for the univalent-completion of such a Segal sheaf. Finally, we conjecture a characterization of flagged (∞, n)-categories as stacks on (∞, n)-categories that satisfy descent with respect to colimit diagrams that do not generate invertible i-morphisms for any i.
منابع مشابه
Using ICD-9-CM Codes in Hospital Claims Data to Detect Adverse Events in Patient Safety Surveillance
Background: Adverse events (AEs) are significant and common sources of harm to inpatients. International Classification of Diseases, 9 Revision, Clinical Modification (ICD-9-CM) codes, assigned to virtually all inpatient discharges, could provide a readily available surveillance system capable of detecting a variety of AEs. Objectives: To determine the positive predictive value (PPV) of selecte...
متن کاملA comparison of discriminant logistic regression and Item Response Theory Likelihood-Ratio Tests for Differential Item Functioning (IRTLRDIF) in polytomous short tests.
BACKGROUND Short scales are typically used in the social, behavioural and health sciences. This is relevant since test length can influence whether items showing DIF are correctly flagged. This paper compares the relative effectiveness of discriminant logistic regression (DLR) and IRTLRDIF for detecting DIF in polytomous short tests. METHOD A simulation study was designed. Test length, sample...
متن کاملEfficacy of a screening procedure to identify potentially disruptive participants in an immersion program for the treatment of adolescent obesity.
BACKGROUND This study examined the efficacy of the red flag screening procedure, an approach used in a largescale immersion program for the treatment of adolescent obesity (Wellspring Camps). The intention of the red flag screening was to screen out potentially highly disruptive applicants, provide an impetus for additional support when high-risk campers were admitted, and help parents develop ...
متن کاملPerformance Analysis of Flagged BCD Adder and Pipelined BCD Adder
BCD Adder is the fundamental adder we learn in logic design and any basic electronics lab. Conventional BCD Adder what we generally know is not feasible for higher bits as they require more area and as they have more propagation delay for higher bit extension. For higher level application BCD design we require more efficient basic BCD block. So in this paper we proposed 2 types of BCD adders na...
متن کاملCost and Effects of Different Admission Screening Strategies to Control the Spread of Methicillin-resistant Staphylococcus aureus
Nosocomial infection rates due to antibiotic-resistant bacteriae, e.g., methicillin-resistant Staphylococcus aureus (MRSA) remain high in most countries. Screening for MRSA carriage followed by barrier precautions for documented carriers (so-called screen and isolate (S&I)) has been successful in some, but not all settings. Moreover, different strategies have been proposed, but comparative stud...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2018